<code><pre>Extensions are plugins to a core set of components (the base application)
That extend its capabilities.

Two types are: default (main, a set included to provide a middle level of capability)
               and extras. extras add 'toys'. By default MuIDE ships with several.
</pre><code>